Смотреть больше слов в «Англо-українському словнику технічних термінів»
программа верификации, верификатор условий. Программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition).... смотреть
программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях (precondition)... смотреть
Програма верифікаціїверифікатор умов
блок проверки утверждений
програма верифікації, верифікатор умов